Test Generation for Time Critical Systems: Tool and Case Study
نویسندگان
چکیده
Generating timed test sequences by hand is error-prone and time consuming, and it is easy to overlook important scenarios. The paper presents a tool based on formal methods that automatically computes a test suite for conformance testing of time critical systems. The generated tests are selected on the basis of a coverage criterion of the specification. The tool guarantees production of sound test cases only, and is able to produce a complete covering test suite. We demonstrate the tool by generating test cases for the Philips Audio Protocol.
منابع مشابه
Determination of Critical Success Factors for Knowledge Management Implementation, Using Qualitative and Quantitative Tools (Case study: Bahman Automobile Industry)
The critical success factors (CSFs) of knowledge management (KM) systems are considered as areas that must be given the required attention for the successful implementation of knowledge management. In this respect and to reduce the failure risk of knowledge management projects, the current paper aims to arrive at a conceptual model by identifying and prioritizing factors for guiding research in...
متن کاملCOXER – A Real-Time Test Case Generation Tool
COXER is new test-case generation tool for timed systems. It generates test cases from a timed automata model of a system to be tested, and a coverage criteria expressed in an observer language. In this paper, we describe the current architecture of the tool, its input languages, and a case study in which tool has been applied in an industrial setting to test that a WAP gateway conform to its s...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملA New multi attribute Decision making Reliability Centered Maintenance in Power Transmission Systems
The present context of the electric industry, characterized by competitive markets, privatization, and regulatory of technical requirements forces the power utilities to optimize their asset management practices and develop the requisite decision plans techno-economically. Practically approaching, this paper devises a new support tool based on a multiattribute decision making (MADM) framework i...
متن کاملCOXER – A Test-Case Generation Tool for Timed Systems
COXER is a new test-case generation tool for timed systems. It generates test cases from a timed automata model of a system to be tested, and a coverage criteria expressed in an observer language. In this paper, we describe the current architecture of the tool, its input languages, and a case study in which the tool has been applied in an industrial setting to test that a WAP gateway conform to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001